大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Workshop on Signal Processing Systems (2000 : Louisiana) 的图书(共8808本)

Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

0
索取号:
作者:Valmari、 Antti.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

0
索取号:
作者:Sestoft、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Learning and Adaption in Multi-Agent Systems [electronic resource] : First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

0
索取号:
作者:Tuyls、 Karl.、Hoen、 Pieter Jan鈥檛.、Verbeeck、 Katja.、Sen、 Sandip.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

0
索取号:
作者:Hermanns、 Holger.、Palsberg、 Jens.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Information and Self-Organization [electronic resource] : A Macroscopic Approach to Complex Systems

0
索取号:
作者:Haken、 Hermann.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Autonomic Communication [electronic resource] : Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers

0
索取号:
作者:Stavrakakis、 Ioannis.、Smirnov、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Microwave and Radio Frequency Processing [electronic resource] : Report from the 8th International Conference on Microwave and High Frequency Heating held in Bayreuth, Germany, September 3鈥笠2001

0
索取号:
作者:Willert-Porada、 Monika.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic

0
索取号:
作者:Bollig、 Benedikt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Qualitative Theory of Planar Differential Systems [electronic resource]

0
索取号:
作者:Dumortier、 Freddy.、Llibre、 Jaume.、Art茅s、 Joan C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Technologies for E-Services [electronic resource] : 6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers

0
索取号:
作者:Bussler、 Christoph.、Shan、 Ming-Chien.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Switched Finite Time Control of a Class of Underactuated Systems [electronic resource]

0
索取号:
作者:Banavar、 Ravi N.、Sankaranarayanan、 Velupillai.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Simulation with Entropy Thermodynamics [electronic resource] : Understanding Matter and Systems with Bondgraphs

0
索取号:
作者:Thoma、 Jean.、Mocellin、 Gianni.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Robust Control and Filtering of Singular Systems [electronic resource]

0
索取号:
作者:Xu、 Shengyuan.、Lam、 James.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Networked Embedded Sensing and Control [electronic resource] : Workshop NESC鈥ൺ University of Notre Dame, USA October 2005 Proceedings

0
索取号:
作者:Antsaklis、 Panos J.、Tabuada、 Paulo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

0
索取号:
作者:Thompson、 Simon G.、Ghanea-Hercock、 Robert.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Complex Engineered Systems [electronic resource] : Science Meets Technology

0
索取号:
作者:Braha、 Dan.、Minai、 Ali A.、Bar-Yam、 Yaneer.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类